Remove broken assertion in 64-bit shadow pagetable code.
authorkaf24@firebug.cl.cam.ac.uk <kaf24@firebug.cl.cam.ac.uk>
Wed, 28 Sep 2005 15:15:20 +0000 (16:15 +0100)
committerkaf24@firebug.cl.cam.ac.uk <kaf24@firebug.cl.cam.ac.uk>
Wed, 28 Sep 2005 15:15:20 +0000 (16:15 +0100)
xen/arch/x86/shadow_public.c

index fad54a7f97f10d9a74c018fe3b98e2fc73b356f0..292ef81e7df18ef99de66581b77b541b7bf82471 100644 (file)
@@ -256,7 +256,6 @@ void free_monitor_pagetable(struct vcpu *v)
 {
     unsigned long mfn;
 
-    ASSERT( pagetable_val(v->arch.monitor_table) );
     /*
      * free monitor_table.
      * Note: for VMX guest, only BSP need do this free.